Scedrov A.: przeszukaj witrynę Z-Library

Darowizna 15 września 2024 – 1 października 2024 O zbieraniu funduszy

Swobodny dostęp do wiedzy i kultury.

Darowizna 15 września 2024 – 1 października 2024

Z-Library to jedna z największych bibliotek internetowych na świecie, w której znajduje się więcej 17,000,000 książek i 84,837,000 artykułów. Staramy się, aby literatura była dostępna dla każdego. Dziś (15 września 2024) otwieramy kolejną zbiórkę darowizn na wsparcie i rozwój projektu.

Również BEZLIMITOWE pobrania (w ciągu 31 dni od dnia przekazania darowizny) są dostępne dla WSZYSTKICH użytkowników, którzy będą wspierać projekt w okresie zbierania funduszy do 1 października 2024.

O zbieraniu funduszyWięcej szczegółów

Wesprzyj darowizną

Książki (20)
Najbardziej popularne
Spis
- Spis
- Tablica

1

Harvey Friedman's research on the foundations of mathematics

Harvey Friedman's research on the foundations of mathematics

L. A. Harrington, M.D. Morley, A. Scedrov, S. G. Simpson

Rok:

1985

Język:

english

Plik:

DJVU, 4.18 MB

0 / 0

english, 1985

2

Categories in Computer Science and Logic

Categories in Computer Science and Logic

Amer Mathematical Society

John W. Gray, Andre Scedrov

Rok:

1989

Język:

english

Plik:

PDF, 42.66 MB

0 / 0

english, 1989

3

Forcing and Classifying Topoi

Forcing and Classifying Topoi

American Mathematical Society

Rok:

1985

Język:

english

Plik:

PDF, 16.07 MB

0 / 0

english, 1985

4

Categories, allegories

Categories, allegories

P.J. Freyd, A. Scedrov

Rok:

1990

Język:

english

Plik:

DJVU, 2.67 MB

0 / 0

english, 1990

5

Categories in Computer Science and Logic: Proceedings of the Ams-Ims-Siam Joint Summer Research Conference Held June 14-20, 1987 With Support from T

Categories in Computer Science and Logic: Proceedings of the Ams-Ims-Siam Joint Summer Research Conference Held June 14-20, 1987 With Support from T

Amer Mathematical Society

Ams-Ims-Siam Joint Summer Research Conference in the Mathematical Scie, John W. Gray, Andrej Scedrov, Andrej Scedrov (ed.)

Rok:

1989

Język:

english

Plik:

DJVU, 4.61 MB

0 / 0

english, 1989

6

Categories, Allegories

Categories, Allegories

Elsevier, Academic Press

P.J. Freyd, A. Scedrov

Rok:

1990

Język:

english

Plik:

PDF, 10.42 MB

0 / 0

english, 1990

7

Freyds Models for the Independence of the Axiom of Choice

Freyds Models for the Independence of the Axiom of Choice

Amer Mathematical Society

Andreas Blass, Andre Scedrov

Rok:

1989

Język:

english

Plik:

DJVU, 1.61 MB

0 / 0

english, 1989

8

Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo

Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo

Springer-Verlag

Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov, Piergiorgio Odifreddi

Rok:

1990

Język:

english

Plik:

DJVU, 1.01 MB

0 / 0

english, 1990

9

Categories in computer science and logic

Categories in computer science and logic

Gray J.W., Scedrov A. (eds.)

Rok:

1989

Język:

english

Plik:

DJVU, 2.89 MB

0 / 0

english, 1989

10

Forcing and Classifying Topoi

Forcing and Classifying Topoi

Amer Mathematical Society

Rok:

1985

Język:

english

Plik:

DJVU, 890 KB

0 / 0

english, 1985

11

Software Security - Theories and Systems: Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003. Revised Papers

Software Security - Theories and Systems: Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov (auth.), Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki (eds.)

Rok:

2004

Język:

english

Plik:

PDF, 6.72 MB

0 / 0

english, 2004

12

Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo

Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo

Springer-Verlag

S. Homer, R. A. Platek, A. Scedrov, A. Nerode, Gerald E. Sacks

Rok:

1990

Język:

english

Plik:

DJVU, 1.04 MB

0 / 0

english, 1990

13

Logic and Computer Science: Lectures Given at the First Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini Terme, Italy, June 20-18, 1988

Logic and Computer Science: Lectures Given at the First Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini Terme, Italy, June 20-18, 1988

Scedrov A., Nerode A., Sacks G. E.

Rok:

1990

Język:

english

Plik:

PDF, 7.90 MB

0 / 0

english, 1990

14

Categories, Allegories

Categories, Allegories

P.J. Freyd, A. Scedrov

Rok:

1990

Język:

english

Plik:

DJVU, 3.03 MB

0 / 0

english, 1990

15

Software Security - Theories and Systems: Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003. Revised Papers

Software Security - Theories and Systems: Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov (auth.), Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki (eds.)

Rok:

2004

Język:

english

Plik:

PDF, 4.00 MB

0 / 0

english, 2004

16

Categories, allegories

Categories, allegories

P.J. Freyd, A. Scedrov

Rok:

1990

Język:

english

Plik:

PDF, 10.75 MB

0 / 0

english, 1990

17

Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Springer International Publishing

Vladimir Itsykson, Andre Scedrov, Victor Zakharov (eds.)

Rok:

2018

Język:

english

Plik:

PDF, 15.10 MB

0 / 0

english, 2018

18

Software Security — Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8–10, 2002 Revised Papers

Software Security — Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8–10, 2002 Revised Papers

Springer-Verlag Berlin Heidelberg

Roy Campbell, Jalal Al-Muhtadi, Prasad Naldurg, Geetanjali Sampemane (auth.), Mitsuhiro Okada, Benjamin C. Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa (eds.)

Rok:

2003

Język:

english

Plik:

PDF, 7.27 MB

0 / 0

english, 2003

19

Software Security — Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8–10, 2002 Revised Papers

Software Security — Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8–10, 2002 Revised Papers

Springer-Verlag Berlin Heidelberg

Roy Campbell, Jalal Al-Muhtadi, Prasad Naldurg, Geetanjali Sampemane (auth.), Mitsuhiro Okada, Benjamin C. Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa (eds.)

Rok:

2003

Język:

english

Plik:

PDF, 5.41 MB

0 / 0

english, 2003

20

Software Security - Theories and Systems: Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003. Revised Papers

Software Security - Theories and Systems: Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov (auth.), Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki (eds.)

Rok:

2004

Język:

english

Plik:

PDF, 9.21 MB

0 / 0

english, 2004